(Eng:
disjunctive normal form: DNF) Een disjunctieve normaalvorm is in de propositionele of predikatencalculus de vorm van een propositie die wordt geschreven als een disjunctie (Booleaanse OF) van clausules waarvan elke clausule zelf een conjunctie (Booleaanse EN) van proposities is, zoals in: (A en B) of (A en niet B) of (B en niet A) of (...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(Eng:
disjunctive normal form: DNF) Een disjunctieve normaalvorm is in de propositionele of predikatencalculus de vorm van een propositie die wordt geschreven als een disjunctie (Booleaanse OF) van clausules waarvan elke clausule zelf een conjunctie (Booleaanse EN) van proposities is, zoals in: (A en B) of (A en niet B) of (B en niet A) of (...
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.
